theorems on functions